<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>JTransType (infer.JavaFrontend.JTransType)</title><meta charset="utf-8"/><link rel="stylesheet" href="../../../odoc.support/odoc.css"/><meta name="generator" content="odoc 2.4.3"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../../odoc.support/highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body class="odoc"><nav class="odoc-nav"><a href="../index.html">Up</a> – <a href="../../index.html">infer</a> &#x00BB; <a href="../index.html">JavaFrontend</a> &#x00BB; JTransType</nav><header class="odoc-preamble"><h1>Module <code><span>JavaFrontend.JTransType</span></code></h1></header><div class="odoc-content"><div class="odoc-spec"><div class="spec value anchored" id="val-create_fieldname"><a href="#val-create_fieldname" class="anchor"></a><code><span><span class="keyword">val</span> create_fieldname : 
  <span><span class="xref-unresolved">Javalib_pack</span>.JBasics.class_name <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Javalib_pack</span>.JBasics.field_signature <span class="arrow">&#45;&gt;</span></span>
  <a href="../../IR/Fieldname/index.html#type-t">IR.Fieldname.t</a></span></code></div><div class="spec-doc"><p>translate the name of the field</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_method_kind"><a href="#val-get_method_kind" class="anchor"></a><code><span><span class="keyword">val</span> get_method_kind : 
  <span><span><span class="xref-unresolved">Javalib_pack</span>.JCode.jcode <span class="xref-unresolved">Javalib_pack</span>.Javalib.jmethod</span> <span class="arrow">&#45;&gt;</span></span>
  <a href="../../IR/Procname/Java/index.html#type-kind">IR.Procname.Java.kind</a></span></code></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_method_procname"><a href="#val-get_method_procname" class="anchor"></a><code><span><span class="keyword">val</span> get_method_procname : 
  <span><a href="../JProgramDesc/index.html#type-t">JProgramDesc.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Javalib_pack</span>.JBasics.class_name <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Javalib_pack</span>.JBasics.method_signature <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../IR/Procname/Java/index.html#type-kind">IR.Procname.Java.kind</a> <span class="arrow">&#45;&gt;</span></span>
  <a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a></span></code></div><div class="spec-doc"><p>returns a procedure name based on the class name and the method's signature</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-translate_method_name"><a href="#val-translate_method_name" class="anchor"></a><code><span><span class="keyword">val</span> translate_method_name : 
  <span><a href="../JProgramDesc/index.html#type-t">JProgramDesc.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span><span class="xref-unresolved">Javalib_pack</span>.JCode.jcode <span class="xref-unresolved">Javalib_pack</span>.Javalib.jmethod</span> <span class="arrow">&#45;&gt;</span></span>
  <a href="../../IR/Procname/index.html#type-t">IR.Procname.t</a></span></code></div><div class="spec-doc"><p>translate the SIL procedure name of the Java method</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_class_struct_typ"><a href="#val-get_class_struct_typ" class="anchor"></a><code><span><span class="keyword">val</span> get_class_struct_typ : 
  <span><a href="../JProgramDesc/index.html#type-t">JProgramDesc.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Javalib_pack</span>.JBasics.class_name <span class="arrow">&#45;&gt;</span></span>
  <a href="../../IR/Struct/index.html#type-t">IR.Struct.t</a></span></code></div><div class="spec-doc"><p><code>get_class_struct_typ program tenv cn</code> returns the struct_typ representation of the class</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_class_type_no_pointer"><a href="#val-get_class_type_no_pointer" class="anchor"></a><code><span><span class="keyword">val</span> get_class_type_no_pointer : 
  <span><a href="../JProgramDesc/index.html#type-t">JProgramDesc.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Javalib_pack</span>.JBasics.class_name <span class="arrow">&#45;&gt;</span></span>
  <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a></span></code></div><div class="spec-doc"><p><code>get_class_type_no_pointer program tenv cn</code> returns the sil type representation of the class without the pointer part</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-get_class_type"><a href="#val-get_class_type" class="anchor"></a><code><span><span class="keyword">val</span> get_class_type : 
  <span><a href="../JProgramDesc/index.html#type-t">JProgramDesc.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Javalib_pack</span>.JBasics.class_name <span class="arrow">&#45;&gt;</span></span>
  <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a></span></code></div><div class="spec-doc"><p><code>get_class_type program tenv cn</code> returns the sil type representation of the class</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-is_autogenerated_assert_field"><a href="#val-is_autogenerated_assert_field" class="anchor"></a><code><span><span class="keyword">val</span> is_autogenerated_assert_field : <span><a href="../../IR/Fieldname/index.html#type-t">IR.Fieldname.t</a> <span class="arrow">&#45;&gt;</span></span> bool</span></code></div><div class="spec-doc"><p>return true if <code>field_name</code> is the autogenerated C.$assertionsDisabled field for class C</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-sizeof_of_object_type"><a href="#val-sizeof_of_object_type" class="anchor"></a><code><span><span class="keyword">val</span> sizeof_of_object_type : 
  <span><a href="../JProgramDesc/index.html#type-t">JProgramDesc.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Javalib_pack</span>.JBasics.object_type <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../IR/Subtype/index.html#type-t">IR.Subtype.t</a> <span class="arrow">&#45;&gt;</span></span>
  <a href="../../IR/Exp/index.html#type-t">IR.Exp.t</a></span></code></div><div class="spec-doc"><p>create sizeof expressions from the object type and the list of subtypes</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-value_type"><a href="#val-value_type" class="anchor"></a><code><span><span class="keyword">val</span> value_type : 
  <span><a href="../JProgramDesc/index.html#type-t">JProgramDesc.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Javalib_pack</span>.JBasics.value_type <span class="arrow">&#45;&gt;</span></span>
  <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a></span></code></div><div class="spec-doc"><p>transforms a Java type to a Typ.t.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-param_type"><a href="#val-param_type" class="anchor"></a><code><span><span class="keyword">val</span> param_type : 
  <span><a href="../JProgramDesc/index.html#type-t">JProgramDesc.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Javalib_pack</span>.JBasics.class_name <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Sawja_pack</span>.JBir.var <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Javalib_pack</span>.JBasics.value_type <span class="arrow">&#45;&gt;</span></span>
  <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a></span></code></div><div class="spec-doc"><p>return the type of a formal parameter, looking up the class name in case of &quot;this&quot;</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-return_type"><a href="#val-return_type" class="anchor"></a><code><span><span class="keyword">val</span> return_type : 
  <span><a href="../JProgramDesc/index.html#type-t">JProgramDesc.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><a href="../../IR/Tenv/index.html#type-t">IR.Tenv.t</a> <span class="arrow">&#45;&gt;</span></span>
  <span><span class="xref-unresolved">Javalib_pack</span>.JBasics.method_signature <span class="arrow">&#45;&gt;</span></span>
  <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a></span></code></div><div class="spec-doc"><p>Returns the return type of the method based on the return type specified in ms.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-expr_type"><a href="#val-expr_type" class="anchor"></a><code><span><span class="keyword">val</span> expr_type : <span><a href="../JContext/index.html#type-t">JContext.t</a> <span class="arrow">&#45;&gt;</span></span> <span><span class="xref-unresolved">Sawja_pack</span>.JBir.expr <span class="arrow">&#45;&gt;</span></span> <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a></span></code></div><div class="spec-doc"><p>translates the type of an expression</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-cast_type"><a href="#val-cast_type" class="anchor"></a><code><span><span class="keyword">val</span> cast_type : <span><span class="xref-unresolved">Sawja_pack</span>.JBir.conv <span class="arrow">&#45;&gt;</span></span> <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a></span></code></div><div class="spec-doc"><p>translates a conversion type from Java to Sil.</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-create_array_type"><a href="#val-create_array_type" class="anchor"></a><code><span><span class="keyword">val</span> create_array_type : <span><a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a> <span class="arrow">&#45;&gt;</span></span> <span>int <span class="arrow">&#45;&gt;</span></span> <a href="../../IR/Typ/index.html#type-t">IR.Typ.t</a></span></code></div><div class="spec-doc"><p><code>create_array_type typ dim</code> creates an array type with dimension dim and content typ</p></div></div><div class="odoc-spec"><div class="spec value anchored" id="val-object_type_to_string"><a href="#val-object_type_to_string" class="anchor"></a><code><span><span class="keyword">val</span> object_type_to_string : <span><span class="xref-unresolved">Javalib_pack</span>.JBasics.object_type <span class="arrow">&#45;&gt;</span></span> string</span></code></div><div class="spec-doc"><p>returns a string representation of an object Java type</p></div></div></div></body></html>
